functor F (A : sig end) =
struct
  val f : unit -> unit
end
